[] => body cont(value,contvalue)
== Case of value; nil  body ; hd.tl, rec:f  cont(contvalue,contvalue) 

latex

FDL editor aliases

case_nil